Formal Mathematics for Mathematicians
نویسندگان
چکیده
منابع مشابه
Mathematics, Mathematicians, and Mathematics Education
I am one of a growing number of research mathematicians who are substantially engaged with school mathematics education. Such outreach has a long and honorable tradition. In this lecture, I illustrate some of the ways that I think this can be helpful, and even essential. Upon his retirement in 1990 as president of the ICMI, Jean Pierre Kahane spoke perceptively of the intimate connection betwee...
متن کاملCreacomp: Experimental Formal Mathematics for the Classroom *
CreaComp provides an electronic environment for learning and teaching mathematics that aims at inspiring the creative potential of students. During their learning process, students are encouraged to engage themselves in various kinds of interactive experiments, both of visual and purely formal mathematical nature. The computer-algebra system Mathematica powers the visualization of mathematical ...
متن کاملTowards Practical Reflection for Formal Mathematics
We describe a design for a system for mathematical theory exploration that can be extended by implementing new reasoners using the logical input language of the system. Such new reasoners can be applied like the built-in reasoners, and it is possible to reason about them, e.g. proving their soundness, within the system. This is achieved in a practical and attractive way by adding reflection, i....
متن کاملFormal Mathematics for Verifiably Correct Program Synthesis
We describe a formalization of the meta-mathematics of programming in a higher-order logical calculus as a means to create verifiably correct implementations of program synthesis tools. Using reflected notions of programming concepts we can specify the actions of synthesis methods within the object language of the calculus and prove formal theorems about their behavior. The theorems serve as de...
متن کاملPrinciples and Standards for School Mathematics: A Guide for Mathematicians, Volume 47, Number 8
868 NOTICES OF THE AMS VOLUME 47, NUMBER 8 In April 2000 the National Council of Teachers of Mathematics (NCTM) released Principles and Standards for School Mathematics—the culmination of a multifaceted, three-year effort to update NCTM’s earlier standards documents and to set forth goals and recommendations for mathematics education in the prekindergarten-through-grade-twelve years. As the cha...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Automated Reasoning
سال: 2012
ISSN: 0168-7433,1573-0670
DOI: 10.1007/s10817-012-9268-z